In “Toward an Ontology of Commercial Exchange” [11], we proposed human readable definitions for terms that are central to an ontology of commercial exchange. This paper furthers that project in two ways. First, the definitions have been modified to be compatible with the Common Core Ontologies (CCO). CCO is used in a wide variety of domains including the industrial and military domains. Having a commerce ontology compatible with CCO allows data about the exchange of goods relevant to those domains to (...) be tagged with compatible ontologies. Second, we propose preliminary formalizations of these definitions, with the aim of informing the creation of an ontology which can be used to assist in reasoning over businessrelated data. (shrink)

This article attempts to answer a question that many dancers and non-dancers may have. What is dance according to the media? Furthermore, how does the written word portray dance in the media? To answer these ques-tions, this research focuses on the role that the discourse of dance in media plays in the public sphere’s knowledge construction of dance. This is impor-tant to study because the public sphere’s meaning of dance will determine whether dance education is promoted or banned in schools (...) and in society. The aim of this paper is to contribute to the existing literature of dance in the media. One limitation of this contribution is that the research uses only newspaper articles as a source of analysis. Future research should include an analysis of visual and audio clips of dance as portrayed in the media. (shrink)

In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual (...) obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods. (shrink)

We propose capability as a universal or type intermediate between function and disposition. A capability is, broadly speaking, a disposition that is of a type whose instances can be evaluated on the basis of how well they are realized. A function, on the view we are proposing, is a capability the possession of which is the rationale for the existence of its bearer. To say for example that a water pump has the function to pump water is to say that (...) the pump exists because something was needed that would pump water. A water pump may have many capabilities, including: to be weatherproof, to run without lubricant, to be transportable, and so forth. But its function is to pump water. We focus here on capabilities possessed by humans – such as piano playing or language using – and we explore the relation between capabilities of these sorts and structures in the brain. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

We propose a definition of capability as a class intermediate between function and disposition as the latter are defined in Basic Formal Ontology (BFO). A disposition inheres in a material entity and is realized in a certain kind of process. An example is the disposition of a glass to break when struck, which is realized when it shatters. A function is a disposition which is (simply put) the rationale for the existence of its bearer. To say for example that a (...) water pump has the function to pump water is to say that the pump exists because something was needed that would pump water. Capabilities are a special sort of disposition in that that, like functions, they can be evaluated on the basis of how well they are realized. They differ from functions in that their realizations are not the rationale – not the primary reason – for the existence of their bearers. Thus, a water pump may have many capabilities, including to be weatherproof, to run without lubricant, and so forth, but only one function. All functions are capabilities on the view we defend, but not all capabilities are functions. We develop a series of axioms to distinguish capabilities formally from both dispositions and functions and provide examples of the use of ‘capability’ in a variety of domains. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Ontologies – structured, controlled, vocabularies – are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the virus research domain, following the principles of the Open Biological and Biomedical Ontology (OBO) Foundry and drawing on the resources of the Infectious Disease Ontology (IDO) Core. We report the development of the Virus Infectious (...) Disease Ontology (VIDO), a reference ontology extending IDO Core covering viral infectious diseases. We examine newly minted terms, showcase ontology term reuse, and illustrate the use of VIDO by annotating selections from recent life science research on SAR-CoV-2, in the interest of supporting machine learning projects. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

Philosophers and social scientists of diverse orientations have suggested that the pragmatics of semiosis is germane to a dynamic account of meaning as process. Semiosis, the central focus of C. S. Peirce's pragmatic philosophy, may hold a key to perennial problems regarding meaning. Indeed, Peirce's thought should be deemed seminal when placed within the cognitive sciences, especially with respect to his concept of the sign. According to Peirce's pragmatic model, semiosis is a triadic, time-bound, context-sensitive, interpreter-dependent, materially extended dynamic process. (...) Semiosis involves inter-relatedness and inter-action between signs, their objects, acts and events in the world, and the semiotic agents who are in the process of making and taking them. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...) dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

Ce texte vise à proposer quelques arguments pour une critique empiriste de la hiérarchie des normes, c'est-à-dire pour les besoins d'une science du droit descriptive et explicative. La hiérarchie des normes est à la fois objet d’étude scientifique, et théorie construisant cet objet. Une approche empiriste nécessite la formalisation de quelques concepts et une justification minimale de la possibilité d'une science juridique empiriste : ce seront les objets des premiers points de ce texte. Il s'agira ensuite de proposer une formulation (...) de la conception de la hiérarchie des normes à laquelle l’empirisme peut conduire, permettant de réévaluer la théorie (normativiste) de la hiérarchie des normes proposée par Kelsen comme une théorie politique, qui ne décrit pas son objet mais le construit comme contrainte. (shrink)

What did Descartes regard as subject to doubt, and what was beyond doubt, in the Meditations? A review of the Objections and Descartes' reactions in the Replies provides some useful clarification, but viewing Descartes' method of doubt in conjunction with his professed theory of knowledge in the Rules for the Direction of the Mind further elucidates his own understanding of the project. In the Rules, Descartes introduces the mind's intuition of "simple natures" as the atomistic basis of all knowledge, its (...) form as well as its content. The simple natures, Descartes claims, can only be understood thoroughly, and I argue that Descartes' doubt in the  Meditations appears not to include doubt of simple natures. A related attempt to link the earlier work to the Meditations by Peter Schouls is considered and criticized; I suggest as an alternative that there are three classes of objects pertaining to the construction of knowledge in the Meditations: a) first principles and concepts that are constituents of other knowledge, intuited and not doubted, nor called 'knowledge' by Descartes; b) what Descartes calls clearly and distinctly perceived knowledge that survives doubt, known through a kind of intuition; and c) science, as remembered collections of clearly and distinctly perceived knowledge. Finally, because the two works do have important dissimilarities, I also consider how differences between the Rules and the Meditations might affect the applicability of the simple natures to the arguments of the Meditations, especially in the light of clues found in the intellectual autobiography of the Discourse on Method. (shrink)

This essay develops a thesis regarding the manner through which social institutions such as property come to be, and a second thesis regarding how such institutions ought to be legitimated. The two theses, outlined below, are in need of explication largely because of the entrenched cultural influence of an erroneous reading of social contract theory concerning the historical origins of the state. In part A, I introduce that error. I proceed in parts B and C to present two central theses (...) about institutions: Thesis 1: The construction of social institutions can be understood clearly only if that topic is distinguished from the topic of their normative status, or legitimacy. Thesis 2: The normative status of such institutions can be understood properly only if their legitimacy is distinguished from the legitimacy of government. With the distinction of Thesis 1 in place, an informative socio-technical account of the construction of institutions can be formulated with little ado. This allows for clarity concerning how institutions might be legitimated (Thesis 2), and consequently, legitimation can proceed. Some fundamentals of legitimation from a Kantian perspective are outlined in Part C. (shrink)

Le respect de la vie privée et de l’intimité est un droit reconnu aux usagers des services de santé et des services sociaux par différents codes d’éthique, par la Charte des droits et libertés de la personne du Québec et par la Loi sur les services de santé et les services sociaux. Pour autant, la signification que prend ce droit demeure incertaine. Il n’y a pas une signification, mais bien des significations. S’appuyant sur un important travail d’observation dans deux comités (...) d’éthique clinique situés dans des établissements de santé et de services sociaux, les auteurs présentent et analysent ici un certain nombre de situations litigieuses dans lesquelles une interprétation du droit à la vie privée et à l’intimité a été faite. Au terme de l’exercice, il ressort entre autres que, selon les situations analysées, les discussions qui se font dans les CÉC conduisent à des modalités différentes (« déplacement et hiérarchisation », « opposition et évitement », « ouverture et compromis », « élargissement et remise en question ») qui ont pour effet de changer le regard porté sur l’usager et plus spécifiquement de faire comprendre son point de vue. En outre, si le droit à la vie privée et à l’intimité contribue à modifier l’interprétation que l’on se fait d’une situation ou des usagers, il est lui-même objet d’interprétation. C’est la diversité de sens qu’il peut prendre qui lui préserve son pouvoir d’interroger. (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and complete, and (...) it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

Quand on se penche sur l’héritage philosophique de Turing, deux risques se posent. Le premier, c’est de le réduire à son test célèbre (Turing 1950). Ce qui a toutefois le mérite de la clarté. N’importe qui peut reconnaître la contribution en question et la situer dans le débat important sur la philosophie de l’intelligence artificielle. Le second risque est de le diluer dans un récit universel, faisant des idées deTuring les graines de tout ce que nous faisons et savons aujourd’hui. (...) Ceci a l’avantage de reconnaître la grandeur de ce génie. Cependant, dans un cas comme dans l’autre, nous allons probablement moins identifier les contributions conceptuelles deTuring qui nous ont aidés à forger un discours philosophique contemporain et qui méritent d’être approfondies et développées. Pour éviter ces deux risques, je me concentrerai dans les pages suivantes sur trois leçons philosophiques spécifiques, qui me semblent particulièrement significatives pour l’émergence de la philosophie de l’information et ses développements. Je ne propose pas ici une analyse philologique ni savante,mais un exercice minimaliste, herméneutique. Façon de faire écho àla démarche deTuring et de rendre hommage àson génie extraordinaire :ses interprètes n’ont pas fini de tirer parti de son héritage intellectuel. Je souhaite qu’un jourTuring devienne aussi important que Frege dans notre canon philosophique. (shrink)

CATEGORY: Philosophy play; historical fiction; comedy; social criticism. STORYLINE: Katherine, a slightly neurotic American lawyer, has tried very hard to find personal happiness in the form of friends and lovers. But she has not succeeded, and is therefore very unhappy. So she travels to London, hoping that Christianus — a well-known satisfactionist — may be able to help her. TOPICS: In the course of the play, Katherine and Christianus converse about many philosophical issues: the modern American military presence in Iraq; (...) the meaning of life; the ethics of abortion; assessing WHO death statistics; the potential personhood of foetuses; ancient Egyptian moustaches and beards; defining criteria for progress in human society; objectivity and subjectivity; Chicago futures trading developments; the virtues of cryonics technology; a U.S. Supreme Court case; important and unimportant knowledge; and spiritualist dualism vs. scientific materialism . NOTES: This work features elaborate footnotes and comments by the author, to enhance the reader's experience of the play and its philosophizing characters. (shrink)

In this paper, we intend to promote an analysis of the use of the artificial language Heptapod B in Story of Your Life written by Ted Chiang and in its filmic adaptation, Arrival, written by Eric Heisserer and directed by Denis Villeneuve in relation to the authors’ views on the metaphysics of time. In both literary and filmic texts, the glossopoeia is used as a plot device upon which the alien race’s time perception is constructed and explicated in connexion (...) with the strong metaphor provided by Fermat’s principle of least time. Throughout the article, we discuss these hybrid interfaces of literature, cinema and science, researching the stories’ specific diegeses, the writers’ own elicitations as well as various texts on the Philosophy of time. The result consists of a comprehensive exegesis of the problematics generated by the narratives and an extensive philosophical debate on the subject. (shrink)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

I argue that central to Aristotle’s account of vice is a distinction between two varieties of vicious person: those for whom character change is possible (the curable), and those for whom it is not (the incurable). Recognizing this distinction and drawing out the ideas which ground it shows why Aristotle’s discussions of vice in EN vii and ix 4 are not inconsistent.

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Nevertheless, some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is more “legitmate” in virtue of being “more basic” or “more fundamental”. This paper addresses two related issues. First, (...) we review some of these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege’s foundationalist epistomology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally “legitimate”. (shrink)

Inquiry, Volume 57, Issue 1, Page 55-96, February 2014.

Except for a patina of twenty-first century modernity, in the form of logic and language, philosophy is exactly the same now as it ever was; it has made no progress whatsoever. We philosophers wrestle with the exact same problems the Pre-Socratics wrestled with. Even more outrageous than this claim, though, is the blatant denial of its obvious truth by many practicing philosophers. The No-Progress view is explored and argued for here. Its denial is diagnosed as a form of anosognosia, a (...) mental condition where the affected person denies there is any problem. The theories of two eminent philosophers supporting the No-Progress view are also examined. The final section offers an explanation for philosophy 's inability to solve any philosophical problem, ever. The paper closes with some reflections on philosophy 's future. (shrink)

A Bayesian mind is, at its core, a rational mind. Bayesianism is thus well-suited to predict and explain mental processes that best exemplify our ability to be rational. However, evidence from belief acquisition and change appears to show that we do not acquire and update information in a Bayesian way. Instead, the principles of belief acquisition and updating seem grounded in maintaining a psychological immune system rather than in approximating a Bayesian processor.

After presenting evidence about categorization behavior, this paper argues for the following theses: 1) that there is a border between perception and cognition; 2) that the border is to be characterized by perception being modular (and cognition not being so); 3) that perception outputs conceptualized representations, so views that posit that the output of perception is solely non-conceptual are false; and 4) that perceptual content consists of basic-level categories and not richer contents.

According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional \(p{{\,\mathrm{\hookrightarrow }\,}}q\) is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.

This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one. A robust notion of aliefs would introduce aliefs into our psychological ontology as a hitherto undiscovered kind, whereas a deflated notion of aliefs would identify aliefs as a set of pre-existing psychological states. I then propose the following dilemma: one the one hand, if aliefs have propositional content, then it is unclear exactly how aliefs differ from (...) psychological states we already countenance, in which case there is no robust notion of aliefs; on the other, if aliefs just contain associative content, then they cannot do the explanatory work set out for them, in which case there is no reason to posit aliefs at all. Thus, it appears that we have little reason to posit the novel category of robust aliefs. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

Advocates of dynamic systems have suggested that higher mental processes are based on continuous representations. In order to evaluate this claim, we first define the concept of representation, and rigorously distinguish between discrete representations and continuous representations. We also explore two important bases of representational content. Then, we present seven arguments that discrete representations are necessary for any system that must discriminate between two or more states. It follows that higher mental processes require discrete representations. We also argue that discrete (...) representations are more influenced by conceptual role than continuous representations. We end by arguing that the presence of discrete representations in cognitive systems entails that computationalism (i.e., the view that the mind is a computational device) is true, and that cognitive science should embrace representational pluralism. (shrink)

Whole Brain Emulation has been championed as the most promising, well-defined route to achieving both human-level artificial intelligence and superintelligence. It has even been touted as a viable route to achieving immortality through brain uploading. WBE is not a fringe theory: the doctrine of Computationalism in philosophy of mind lends credence to the in-principle feasibility of the idea, and the standing of the Human Connectome Project makes it appear to be feasible in practice. Computationalism is a popular, independently plausible theory, (...) and Connectomics a well-funded empirical research program, so optimism about WBE is understandable. However, this optimism may be misplaced. This article argues that WBE is, at best, no more compelling than any of the other far-flung routes to achieving superintelligence. Similarly skeptical conclusions are found regarding immortality. The essay concludes with some positive considerations in favor of the Biological Theory of consciousness, as well as morals about the limits of Computationalism in both artificial intelligence and the philosophy of mind more generally. (shrink)

I describe a phenomenon that has not yet been described in the epistemology literature. I label this phenomenon expression-style exclusion. Expression-style exclusion is an example of how s...

This paper argues for a noncognitiveist computationalism in the philosophy of mind. It further argues that both humans and computers have intentionality, that is, their mental states are semantical -- they are about things in their worlds.

Reduplicative approaches to the incarnation attempt to avoid the charge of incoherence by employing a qua-operator that operates on an entire assertion. The main objection to this approach is that it still yields a contradiction. Recently, two new reduplicative approaches have been offered that purport to avoid contradiction, one that offers a novel analysis of negative predications and the other which prevents conjoining divine and human predicates into a meaningful sentence. In this paper, I argue that these newer approaches either (...) fail to provide a distinctive solution or do not show whether the model is genuinely possible. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

Most philosophers are familiar with the metaphysical puzzle of the statue and the clay. A sculptor begins with some clay, eventually sculpting a statue from it. Are the clay and the statue one and the same thing? Apparently not, since they have different properties. For example, the clay could survive being squashed, but the statue could not. The statue is recently formed, though the clay is not, etc. Godehart Link 1983’s highly influential analysis of the count/mass distinction recommends that English (...) draws a distinction between uncountable “stuff” and countable “things”. There are two mereological relations, related in specific ways. Our primary question here is whether an empirically adequate account of the mass/count distinction really does require distinguishing “things” from “stuff”, and thus postulating two corresponding mereological relations, or if instead positing only one sort of entity and corresponding mereological relation is sufficient, as other semantic theories would have it. This question is meant to be one of what we call natural language mereology. We are asking about the mereological commitments of English, or perhaps competent speakers of English, and not about ultimate reality as such. There is no pretense that we will definitively solve the metaphysical puzzle of the statue and clay. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

At some point in the future – perhaps within the next few decades – it will be possible for foetuses to develop completely outside the womb. Ectogenesis, as this technology is called, raises substantial issues for the abortion debate. One such issue is that it will become possible for a woman to have an abortion, in the sense of having the foetus removed from her body, but for the foetus to be kept alive. We argue that while there is a (...) right to an abortion, there are reasons to doubt that there is a right to the death of the foetus. Our strategy in this essay is to consider and reject three arguments in favour of this latter right. The first claims that women have a right not to be biological mothers, the second that women have a right to genetic privacy, and the third that a foetus is one's property. Furthermore, we argue that it follows from rejecting the third claim that genetic parents also lack a right to the destruction of cryopreserved embryos used for in vitro fertilization. The conclusion that a woman possesses no right to the death of the foetus builds upon the claims that other pro-choice advocates, such as Judith Jarvis Thomson, have made. (shrink)

This paper has two main aims. The first is to present a general approach for understanding “dispositional” and “categorical” properties; the second aim is to use this approach to criticize Russellian Monism. On the approach I suggest, what are usually thought of as “dispositional” and “categorical” properties are really just the extreme ends of a spectrum of options. The approach allows for a number of options between these extremes, and it is plausible, I suggest, that just about everything of scientific (...) interest falls in this middle ground. I argue that Russellian Monism depends for its plausibility on the unarticulated assumption that there are no properties in the middle ground. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

How do you know what you want? Philosophers have lately developed sophisticated accounts of the practical and doxastic knowledge that are rooted in the point of view of the subject. Our ability to just say what we are doing or what we believe—that is, to say so authoritatively, but not on the basis of observation or evidence—is an aspect of our ability to reason about the good and the true. However, no analogous route to orectic self-knowledge is feasible. Knowledge of (...) desire is distinctive in being a matter of our affective response to imagined prospects. An examination of this idea yields the following thesis: I know what I want just in case the object pursued in anticipation of a certain pleasure actually yields the anticipated pleasure. (shrink)

In this paper, I develop a novel account of concept acquisition for an atomistic theory of concepts. Conceptual atomism is rarely explored in cognitive science because of the feeling that atomistic treatments of concepts are inherently nativistic. My model illustrates, on the contrary, that atomism does not preclude the learning of a concept.